2

On Pascal triangles modulo a prime power

Year:
1997
Language:
english
File:
PDF, 975 KB
english, 1997
3

On query optimization in a temporal SPC algebra

Year:
2003
Language:
english
File:
PDF, 373 KB
english, 2003
4

Logic and Rational Languages of Words Indexed by

Year:
2010
Language:
english
File:
PDF, 602 KB
english, 2010
5

An Extension of the Cobham-Semënov Theorem

Year:
2000
Language:
english
File:
PDF, 252 KB
english, 2000
6

Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem

Year:
1997
Language:
english
File:
PDF, 907 KB
english, 1997
7

On countable chains having decidable monadic theory

Year:
2012
Language:
english
File:
PDF, 1.04 MB
english, 2012
8

Undecidable extensions of Skolem arithmetic

Year:
1998
Language:
english
File:
PDF, 1.16 MB
english, 1998